myhill nerode algorithm for minimization of dfa